Regularity of a free boundary with application to the Pompeiu problem

In the unit ball B(0, 1), let u and Ω (a domain in RN ) solve the following overdetermined problem: ∆u = χΩ in B(0, 1), 0 ∈ ∂Ω, u = |∇u| = 0 in B(0, 1) \ Ω, where χΩ denotes the characteristic function, and the equation is satisfied in the sense of distributions. If the complement of Ω does not develop cusp singularities at the origin then we prove ∂Ω is analytic in some small neighborhood of the origin. The result can be modified to yield for more general divergence form operators. As an application of this, then, we obtain the regularity of the boundary of a domain without the Pompeiu property, provided its complement has no cusp singularities.